($\lambda$$g$,$n$,$e$,$z$. $n$ $\cdot$ $e$) $\in$ $g$:IMonoid$\rightarrow\mathbb{N}\rightarrow\mid$$g$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mid$$g$$\mid$